Constructible universe - PDFSEARCH.IO - Document Search Engine

Constructible universe
Results: 1309

#	Item
201	Uniform Boilerplate and List Processing Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Subroutines Expected value Constructible universe Parameter Object-oriented programming languages Lambda calculus Data types
202	Identifying groups of finite Morley rank with a split BN-pair of rank 1 Josh Wiscons University of Colorado, Boulder Josh Wiscons Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-05 10:49:35 Mathematical logic Model theory Logic Morley rank Constructible universe Von Neumann universe Limit ordinal Ordinal number Saturated model
203	Divergences, surrogate loss functions and experimental design XuanLong Nguyen University of California Berkeley, CA 94720 Add to Reading List Source URL: dept.stat.lsa.umich.edu Language: English - Date: 2005-11-10 19:57:44 Divergence Statistical distance Distribution Constructible universe F-divergence Approximately finite-dimensional C*-algebra Symbol
204	Continuous Cofinal Maps on Ultrafilters Natasha Dobrinen University of Denver joint work with Stevo Todorcevic Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-06 18:41:00 Mathematics Mathematical analysis Order theory Non-standard analysis Abstraction Ultrafilter Cofinal Continuous function Constructible universe Riemann surfaces Complex analysis
205	On divergences, surrogate loss functions, and decentralized detection XuanLong Nguyen Computer Science Division University of California, Berkeley Add to Reading List Source URL: dept.stat.lsa.umich.edu Language: English - Date: 2005-11-06 21:14:14 Mathematics Mathematical analysis Smooth functions Distribution Functional analysis Constructible universe Divergence Net operator Differential forms on a Riemann surface
206	Archive for Mathematical Logic manuscript No. (will be inserted by the editor) Elimination of Skolem functions for monotone formulas in analysis Ulrich Kohlenbach Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:33:24 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol Constructible universe
207	Notre Dame Journal of Formal Logic Volume 50, Number 1, 2009 Factorization of the Shoenfield-like Bounded Functional Interpretation Jaime Gaspar Add to Reading List Source URL: jg.sdf.org Language: English - Date: 2016-05-02 10:01:00 Mathematics Mathematical logic Logic Logic in computer science Constructible universe Peano axioms Factorization Algebraic logic Dialectica interpretation Combinatory logic
208	SIAM J. SCI. COMPUT. Vol. 37, No. 5, pp. S503–S525 c 2015 Society for Industrial and Applied Mathematics Add to Reading List Source URL: persweb.wabash.edu Language: English - Date: 2015-11-22 14:00:32 Operator theory Partial differential equations Fourier analysis Sobolev spaces Complex analysis Hilbert space Constructible universe Differential forms on a Riemann surface NeumannPoincar operator
209	Co-Learning Bayesian Model Fusion: Efficient Performance Modeling of Analog and Mixed-Signal Circuits Using Side Information Add to Reading List Source URL: manzil.ml Language: English - Date: 2016-01-03 02:26:45 Statistics Probability Mathematical analysis Probability distributions Laplace distribution Linear regression Normal distribution Constructible universe Bayesian network Ordinal number Beta distribution Omnibus test
210	Sustained growth from non-renewable resources: constant absolute genuine savings and constant relative genuine savings compared John C.V. Pezzey Australian National University Add to Reading List Source URL: een.anu.edu.au Language: English - Date: 2005-05-09 04:58:02 Constructible universe Probability distributions

UPDATE